11.9 KB · ⇊ 7 parts · ⤓ Micron 11.9 KB · ⤓ HTML 58.6 KB

top

En mathématiques, et plus précisément en algèbre générale, étant donné un couple d'ensembles ( Ω Ω , E ) {\displaystyle (\Omega ,E)} , une loi de composition (ou loi) sur ce couple est une application de Ω Ω × × E {\displaystyle \Omega \times E} ou de E × × Ω Ω {\displaystyle E\times \Omega } dans E {\displaystyle E} .

Dans le cas Ω Ω = E {\displaystyle \Omega =E} , on qualifie la loi d'interne. Il faut concevoir une loi de composition interne dans un ensemble comme une opération définie partout. On pense par exemple à l'addition et à la multiplication dans R {\displaystyle \mathbb {R} } . La division dans R {\displaystyle \mathbb {R} } n'en est pas une (puisque par exemple 1 / 0 {\displaystyle 1/0} n'est pas défini), mais elle en est une dans R ∗ ∗ {\displaystyle \mathbb {R} ^{*}} .

Les lois de composition, en permettant de jouer avec les éléments des ensembles, constituent le pilier de l'algèbre générale. Elles permettent de définir les structures algébriques, parmi lesquelles on citera les groupes, anneaux, corps, et espaces vectoriels.

• Définition

• Conventions, notations

• Lois de composition internes

• Associativité et commutativité

• Exemples de lois de composition internes

• Lois de composition externes

• Exemples de lois de composition externes

• Quelques autres notations pour les images

• Voir aussi

• Notes

• Références

Soit ( Ω Ω , E ) {\displaystyle (\Omega ,E)} un couple d'ensembles.

On distingue deux lois de composition (abrégé l.c.) sur ce couple :

• une application de Ω Ω × × E {\displaystyle \Omega \times E} dans E {\displaystyle E} s'appelle une loi de composition (à gauche) ;

• une application de E × × Ω Ω {\displaystyle E\times \Omega } dans E {\displaystyle E} s'appelle une loi de composition à droite.

On notera qu'on utilise majoritairement, par convention, des l.c. à gauche (par exemple avec les espaces vectoriels).

Dans le cas Ω Ω = E {\displaystyle \Omega =E} , on parle de loi de composition interne (abrégé l.c.i.)cite-ref-1[1].

Le terme « loi de composition externe » (abrégé l.c.e.) est en fait synonyme de « loi de composition »cite-ref-2[2]. On l'emploie pour souligner que l'on n'impose pas Ω Ω = E {\displaystyle \Omega =E} .

Par convention, contrairement aux applications quelconques, on utilise pour désigner une l.c. un symbole qui n'est pas une lettre. On emploie typiquement les symboles des opérations classiques : « ⋅ ⋅ {\displaystyle \cdot } », « ∗ ∗ {\displaystyle *} », « + {\displaystyle +} », « × × {\displaystyle \times } », ...

Et, surtout, la convention est, comme pour les opérations classiques, d'utiliser la notation infixe (en). Cela signifie qu'on notera par exemple a ∗ ∗ b {\displaystyle a*b} plutôt que ∗ ∗ ( a , b ) {\displaystyle *(a,b)} . Très souvent, on écrit même plus simplement a b {\displaystyle ab} (si cela n'est pas ambigu dans le contexte).

On emploie souvent le symbole « ⋅ ⋅ {\displaystyle \cdot } » pour les l.c.e. à gauche ; par exemple dans les espaces vectoriels pour la multiplication d'un vecteur par un scalaire.

L'associativité et la commutativité sont des propriétés vérifiées par certaines l.c.i. La plupart des l.c.i. étudiées en algèbre sont associatives.

Considérons ici un ensemble E {\displaystyle E} sur lequel on a défini une l.c.i. notée ∗ ∗ {\displaystyle *} .

Dans le cas général, écrire des choses comme a ∗ ∗ b ∗ ∗ c {\displaystyle a*b*c} n'a aucun sens puisqu'on ne sait pas s'il faut faire a ∗ ∗ b {\displaystyle a*b} en premier, ce que l'on note ( a ∗ ∗ b ) ∗ ∗ c {\displaystyle (a*b)*c} , ou b ∗ ∗ c {\displaystyle b*c} en premier, ce que l'on note a ∗ ∗ ( b ∗ ∗ c ) {\displaystyle a*(b*c)} . Notons en effet qu'il n'y a aucune raison que ces deux calculs fournissent le même résultat.

On dit que ∗ ∗ {\displaystyle *} est associative si une telle question ne se pose pas ; si on peut procéder dans l'ordre qu'on veut. Des expressions comme a ∗ ∗ b ∗ ∗ c {\displaystyle a*b*c} ont alors un sens. Cela facilite grandement les calculs.

On dit que ∗ ∗ {\displaystyle *} est commutative si on a, pour tous a , b ∈ ∈ E {\displaystyle a,b\in E} , a ∗ ∗ b = b ∗ ∗ a {\displaystyle a*b=b*a} .

• L'addition et la multiplication dans R {\displaystyle \mathbb {R} } (associatives, commutatives).

• La l.c.i. associée à un groupe abélien (associative, commutative).

• Le produit matriciel (usuel) dans M n ( R ) {\displaystyle {\mathcal {M}}_{n}(\mathbb {R} )} (associative, non commutative si n ≥ ≥ 2 {\displaystyle n\geq 2} ).

• Soit E {\displaystyle E} un ensemble. La composition sur l'ensemble des applications de E {\displaystyle E} dans E {\displaystyle E} est une l.c.i. (associative, non commutative sauf cas triviaux).

• La soustraction dans R {\displaystyle \mathbb {R} } (non associative, non commutative).

• Dans un espace vectoriel, la multiplication d'un vecteur par un scalaire est une l.c.e. (à gauche).

• Une action de groupe.

• L'exponentiation entière des réels (application de R × × N {\displaystyle \mathbb {R} \times \mathbb {N} } dans R {\displaystyle \mathbb {R} } ) est une l.c.e. à droite.

Comme dit plus haut, la notation la plus généralement utilisée pour calculer une image par ∗ ∗ {\displaystyle *} est la notation infixe, à savoir : a ∗ ∗ b {\displaystyle a*b} .

Mais il existe d'autre notations, plus rares :

• la notation préfixe : ∗ ∗ a b {\displaystyle *ab} , ou ∗ ∗ a , b {\displaystyle *a,b}

• la notation suffixe : a b ∗ ∗ {\displaystyle ab*} , ou a , b ∗ ∗ {\displaystyle a,b*}

• Loi de composition interne

• Opération binaire

• Structure algébrique

• Algèbre générale

• Algèbre universelle

cite-note-11. ↑ Notons que dans ce cas la précision gauche / droite est inutile...

cite-note-22. ↑ Une l.c.i. est donc une l.c.e.

• bourbaki1970n-bourbaki1970N. Bourbaki, Éléments de mathématique, vol. II : Algèbre, Chapitres 1 à 3, Berlin, Springer, 1970 (réimpr. 2007), 2e éd. (ISBN 978-3-540-33849-9, présentation en ligne).

• lang2002serge-lang2002(en) Serge Lang, Algebra, New York/Berlin/Heidelberg etc., Springer, coll. « Undergraduate Texts in Mathematics », 2002 (réimpr. 2010), 3e éd., 914 p. (ISBN 0-387-95385-X, lire en ligne).

• Portail de l’algèbre